The PROOF benchmark suite measuring PROOF performance
نویسندگان
چکیده
منابع مشابه
SPEComp: A New Benchmark Suite for Measuring Parallel Computer Performance
We present a new benchmark suite for parallel computers. SPEComp targets mid-size parallel servers. It includes a number of science/engineering and data processing applications. Parallelism is expressed in the OpenMP API. The suite includes two data sets, Medium and Large, of approximately 1.6 and 4 GB in size. Our overview also describes the organization developing SPEComp, issues in creating ...
متن کاملA benchmark suite for high performance Java
Increasing interest is being shown in the use of Java for large scale or Grande applications. This new use of Java places speciic demands on the Java execution environments that could be tested and compared using a standard benchmark suite. We describe the design and implementation of such a suite, paying particular attention to Java-speciic issues. Sample results are presented for a number of ...
متن کاملSadra`s existential proof for reasoning the best creational system
This article has no abstract.
متن کاملProof Checking the Proof
2a) Summary. It is considered a fact of life that all serious computer programs contain errors, so-called ‘bugs’. Empirical data indicates that production software has around two bugs per thousand lines of source code, and even programs used on space missions by NASA are believed to have around 0.1 bugs per thousand lines of code [26]. Interactive theorem proving is a technology for building pr...
متن کاملThe GAP Benchmark Suite
We present a graph processing benchmark suite with the goal of helping to standardize graph processing evaluations. Fewer differences between graph processing evaluations will make it easier to compare different research efforts and quantify improvements. The benchmark not only specifies graph kernels, input graphs, and evaluation methodologies, but it also provides optimized baseline implement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2012
ISSN: 1742-6596
DOI: 10.1088/1742-6596/368/1/012020